Closing the Loop: The Influence of Code Analysis on Design
نویسنده
چکیده
Static code analysis originally concerned the extraction from source code of various properties of a program. Although this kind of reverse engineering approach can uncover errors that are hard to detect in other ways, it is not a very efficient use of resources because of its retrospective nature and the late error detection that results. The SPARK language and its associated Examiner tool took a different approach which emphasises error prevention (“correctness by construction”) rather than error detection. Recent work with SPARK has shown that very early application of static analysis can have a beneficial influence on software architectures and designs. The paper describes the use of SPARK to produce designs with demonstrably low coupling and high cohesion.
منابع مشابه
Developing a Mixed Integer Quadratic Programing Model with Integer Numbers for Designing a Dynamic closed-loop Logistics Network
Logistics Network Design includes network configuration decisions having long-standing influences on other tactical and operational decisions. Recently, regarding environmental issues and customer awareness and global warming closed-loop supply chain network design is taken into consideration. The proposed network for the integrated forward and reverse logistics is developed by formulating a cy...
متن کاملطراحی گرین فینوسیل بر اساس متامدلهای شبکه عصبی مصنوعی
Grain design is the most important part of solid rocket motor design. In this paper the goal is Finocyl grain design based on predetermined objective function with respect to Thrust history or Pressure history in order to satisfy various thrust performance requirements through an innovative design approach using Genetic algorithm optimization method. The classical sampling method is used for de...
متن کاملError assessment in man-machine systems using the CREAM method and human-in-the-loop fault tree analysis
Background and Objectives: Despite contribution to catastrophic accidents, human errors have been generally ignored in the design of human-machine (HM) systems and the determination of the level of automation (LOA). This paper aims to develop a method to estimate the level of automation in the early stage of the design phase considering both human and machine performance. Methods: A quantita...
متن کاملNumerical Simulation and Optimization Design of the Annular Mechanical Foam Breaker
The annular foam breaker is one which uses the vacuum and shear force generated by the Coanda effect to break foam. The pressure distribution directly affects its performance. So an investigation on the flow characteristics inside the annular foam breaker is important to optimize its structure. In this paper, the computational fluid dynamics (CFD) code, FLUENT, is employed to simulate the flow ...
متن کاملNonlinear Vibration Analysis of Composite Plates with SMA Wires, Considering Instantaneous Variations of the Martensite Volume Fraction
In the past few years, extensive improvements have been accomplished in reinforcing the structures through using shape memory alloys (SMAs). These materials absorb or dissipate energy through establishing a reversible hysteresis loop during a cyclic mechanical loading. This unique characteristic of the SMAs has made them appropriate for sensing, actuation, absorbing the impact energy, and vibra...
متن کامل